Instruction Sequence Size Complexity of Parity

نویسندگان

  • Jan A. Bergstra
  • Kees Middelburg
چکیده

Each Boolean function can be computed by a single-pass instruction sequence that contains only instructions to set and get the content of Boolean registers, forward jump instructions, and a termination instruction. Auxiliary Boolean registers are not necessary for this. In the current paper, we show that, in the case of the parity functions, shorter instruction sequences are possible with the use of an auxiliary Boolean register in the presence of instructions to complement the content of auxiliary Boolean registers. This result supports, in a setting where programs are instruction sequences acting on Boolean registers, a basic intuition behind the storage of auxiliary data, namely the intuition that this makes possible a reduction of the size of a program.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On instruction sets for Boolean registers in program algebra

In program algebra, different instruction sets for Boolean registers are conceivable. In previous work on instruction sequence size complexity, we chose instruction sets for Boolean registers that contain only a few of the possible instructions. In the current paper, we study instruction sequence size bounded functional completeness of instruction sets for Boolean registers. This work is among ...

متن کامل

Using Critical Discourse Analysis Based Instruction to Improve EFL Learners’ Writing Complexity, Accuracy and Fluency

The literature of ELT is perhaps overwhelmed by attempts to enhance learners’ writing through the application of different methodologies. One such methodology is critical discourse analysis which is founded upon stressing not only the decoding of the propositional meaning of a text but also its ideological assumptions. Accordingly, this study was an attempt to investigate the impact of critical...

متن کامل

On Random Orderings of Variables for Parity OBDDs

Ordered binary decision diagrams (OBDDs) are a model for representing Boolean functions. There is also a more powerful variant called parity OBDDs. The size of the representation of a given function depends in both these models on an ordering of the variables. It is known that there are functions such that almost all orderings of its variables yield an OBDD of polynomial size, but there are als...

متن کامل

Impact of Metacognitive Strategy Instruction on Iranian EFL Learners’ Listening Anxiety

This study aimed to investigate the efficacy of metacognitive strategy instruction intervention on reducing language listening anxiety of Iranian EFL learners in the light of 2 listening metacognitive strategy instruction models of Integrated Experiential Learning Task (IELT) (Goh, 2010) and Metacognitive pedagogical Sequence (MPS) (Vandergrift, 2004). Participants were 63 B1 level learners who...

متن کامل

Impact of Metacognitive Strategy Instruction on Iranian EFL Learners’ Listening Anxiety

This study aimed to investigate the efficacy of metacognitive strategy instruction intervention on reducing language listening anxiety of Iranian EFL learners in the light of 2 listening metacognitive strategy instruction models of Integrated Experiential Learning Task (IELT) (Goh, 2010) and Metacognitive pedagogical Sequence (MPS) (Vandergrift, 2004). Participants were 63 B1 level learners who...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Fundam. Inform.

دوره 149  شماره 

صفحات  -

تاریخ انتشار 2016